The Logic of Hyperlogic. Part B: Extensions and Restrictions

Abstract This is the second part of a two-part series on logic hyperlogic, formal system for regimenting metalogical claims in object language (even within embedded environments). Part A provided minimal hyperlogic that sound and complete over class all models. In this part, we extend these completeness results to stronger logics are restricted classes We also investigate when enriched with hyperintensional operators such as counterfactual conditionals belief operators.